Observability Concepts in Abstract Data Type Specification, 30 Years Later
نویسندگان
چکیده
We recall the contribution of Montanari’s paper [GGM76] and sketch a framework for observable behaviour specification that blends some of these early ideas, seen from a more modern perspective, with our own approach.
منابع مشابه
Explorer Observability Concepts in Abstract Data Type Specification , 30 Years
We recall the contribution of Montanari’s paper [GGM76] and sketch a framework for observable behaviour specification that blends some of these early ideas, seen from a more modern perspective, with our own approach.
متن کاملAn observability enhancement method of ABPEL specifications
WS-BPEL is a language which aims to conceive Business applications orchestrating a set of Web Services. Designing such applications is a difficult task since many different concepts are involved (parallelism, partner interaction, fault handling, etc.). However, some Meta-engineering techniques may help designers to improve the quality level of a specification. One of them, called Testability, h...
متن کاملObservational logic, constructor-based logic, and their duality
Observability and reachability are important concepts for formal software development. While observability concepts are used to specify the required observable behavior of a program or system, reachability concepts are used to describe the underlying data in terms of datatype constructors. In this paper we first reconsider the observational logic institution which provides a logical framework f...
متن کاملOn Observability and Reachability ?
Observability and reachability are important concepts in formal software development. While observability concepts allow to specify the required observable behavior of a program or system, reachability concepts are used to describe the underlying data in terms of data type constructors. In this paper we show that there is a duality between ob-servability and reachability, both from a methodolog...
متن کاملCharacterizing observability and controllability of software components
Two important objectives when designing a specification for a reusable software component are understandability and utility. For a typical component defining a new abstract data type, a significant common factor affecting both of these objectives is the choice of a mathematical model of the (state space of the) ADT, which is used to explain the behavior of the ADT’s operations to potential clie...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008